Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
111	Constraints manuscript No. (will be inserted by the editor) Ultra-Weak Solutions and Consistency Enforcement in Minimax Weighted Constraint Satisfaction Arnaud Lallouet · Jimmy H.M. Lee · Terrence Add to Reading List Source URL: www.tmak.info Language: English - Date: 2014-11-21 23:28:54 Applied mathematics Constraint satisfaction problem Local consistency Constraint optimization Minimax Constraint satisfaction Linear programming Alpha-beta pruning Search algorithm Constraint programming Mathematics Theoretical computer science
112	Yet Another Local Search Method for Constraint Solving Philippe Codognet1 and Daniel Diaz2 1 2 Add to Reading List Source URL: wasa.sourceforge.net Language: English - Date: 2002-04-19 05:38:42 Theoretical computer science Constraint satisfaction Local search Local consistency Mathematical optimization Search algorithm Linear programming Genetic algorithm Travelling salesman problem Constraint programming Software engineering Computer programming
113	Synthesis of Loop-free Programs Sumit Gulwani Susmit Jha ∗ Ashish Tiwari † Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-06-03 21:06:21 Applied mathematics Satisfiability Modulo Theories Constraint satisfaction problem Boolean satisfiability problem Constraint logic programming Decomposition method Theoretical computer science Constraint programming Declarative programming
114	C:/Documents and Settings/wkmak/Desktop/DropBox/Dropbox/CP2012_Working/main.dvi Add to Reading List Source URL: www.tmak.info Language: English - Date: 2013-10-06 08:30:29 Operations research Applied mathematics Linear programming Mathematics Mathematical analysis Local consistency Duality Constraint optimization Constraint satisfaction problem Constraint programming Mathematical optimization Convex optimization
115	Phase Transitions: A ew Paradigm for Evaluating Complexity in Learning and other Complex Systems Lorenza Saitta Università del Piemonte Orientale, Dipartimento di Informatica Viale Teresa Michel 11, 15121 Alessandria, Add to Reading List Source URL: www.iiconference.org Language: English - Date: 2013-03-08 07:30:15 Computational complexity theory Complexity Algorithm Boolean satisfiability problem Constraint satisfaction problem Theoretical computer science Applied mathematics Mathematics
116	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Don’t care in SMT⋆ Building flexible yet efficient abstraction/refinement solvers Andreas Bauer1 , Martin Leucker2 , Christian Sc Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-10-01 20:34:14 Mathematics Model theory Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Symbol Theoretical computer science Constraint programming Mathematical logic
117	Don’t care in SMT—Building flexible yet efficient abstraction/refinement solvers1 Andreas Bauer∗ , Martin Leucker∗∗, Christian Schallhart∗∗, Michael Tautschnig∗∗ ∗ ∗∗ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-11-26 20:10:39 Mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Solver Theoretical computer science Constraint programming Applied mathematics
118	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
119	Metaheuristic Optimization with Evolver, Genocop and OptQuest MANUEL LAGUNA Graduate School of Business Administration University of Colorado, Boulder, CO[removed]removed] Add to Reading List Source URL: aiinfinance.com Language: English - Date: 2012-06-26 15:09:38 Applied mathematics Search algorithms Convex optimization Genetic algorithm Constraint optimization Constraint satisfaction Linear programming Optimization problem Backtracking Mathematical optimization Operations research Mathematics
120	Sudoku as a SAT Problem Inˆes Lynce IST/INESC-ID, Technical University of Lisbon, Portugal [removed] Jo¨el Ouaknine Add to Reading List Source URL: anytime.cs.umass.edu Language: English - Date: 2005-11-17 08:28:24 NP-complete problems Automated theorem proving Logic puzzles Recreational mathematics Constraint programming Sudoku Constraint satisfaction Boolean satisfiability problem Unit propagation Mathematics Theoretical computer science Applied mathematics

UPDATE